<?php class BatchTest4 {}